int benchmark(void);
